|
1.
|
UML 2003 - The Unified Modeling Language : Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : Proceedings
by Stevens, Perdita | Booch, Grady | Whittle, Jon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 STE] (1).
|
|
2.
|
Semantic web research and applications : First European Semantic Web Symposium, ESWS 2004 Heraklion, Crete, Greece, may 2004 : proceedings
by Bussler, Christoph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 BUS] (1).
|
|
3.
|
Intelligent tutoring systems : Seventh International Conference, ITS 2004, Maceio, Brazil, August 30 - September 3, 2004 ; proceedings
by Lester, James C | Paraguacu, Fabio | Vicari, Rosa Maria. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 LES] (1).
|
|
4.
|
Algorithms--ESA 2004 : 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, proceedings
by Albers, Susanne | Radzik, Tomasz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 ALB] (1).
|
|
5.
|
Semantic web-ISWC 2004 : third international semantic web conference Hiroshima, Japan, november 2004 proceedings
by McIlraith, Sheila A | Harmelen, Frank Van | Plexousakis, Dimitris. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 MCI] (1).
|
|
6.
|
Modular algorithms in symbolic summation and symbolic integration
by Gerhard, Jurgen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GER] (1).
|
|
7.
|
Algorithms and computation : fifteenth international symposium, ISAAC 2004 Honh Kong, China, December 2004 ; proceedings
by Fleischer, Rudolf | Trippen, Gerhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 FLE] (1).
|
|
8.
|
Genetic programming : eigth European conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005 ; proceedings
by Keizer, Maarten. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 KEI] (1).
|
|
9.
|
Web Engineering : Fifth International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005 ; proceedings
by Lowe, David | Gaedke, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 LOW] (1).
|
|
10.
|
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
by Godefroid, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
|
|
11.
|
Web Engineering : International Conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003 procedings
by Manuel, Juan | Cueva Lovelle, Juan Manuel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CUE] (1).
|
|
12.
|
Security Engineering with Patterns : Origins, Theoretical Models, and New Applications
by Schumacher, Markus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 SCH] (1).
|
|
13.
|
Web Engineering : Managing Diversity and Complexity of Web Application Development
by Murugesan, San | Deshpande, Yogesh. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 MUR] (1).
|
|
14.
|
Semantic web - ISWC 2002 : first international semantic web conference Sardinia, Italy, june 2002 : proceedings
by Horrocks, Ian | Hendler, James. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 HOR] (1).
|
|
15.
|
UML 2000 - The Unified Modeling Language : Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 : Proceedings
by Kent, Stuart | Evans, Andy | Selic, Bran. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 EVA] (1).
|